Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
201	Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-08-07 07:54:13 Mathematics Mathematical logic Logic Foundations of mathematics Z notation ZermeloFraenkel set theory Determinacy Set theory Second-order arithmetic Constructible universe Model theory Descriptive set theory
202	A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel, Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:20:03 Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra
203	U UNPLUGGED Real-Life Algorithms: Plant a Seed Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used Add to Reading List Source URL: code.org Language: English - Date: 2016-08-22 05:26:40 Teaching Education Mathematics education Algorithm Mathematical logic Theoretical computer science Lesson Worksheet Professional studies Cognition Lesson plan
204	Project Report for P415/515 Specication and Verication of a File System: A Successful Failure Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Computer programming Software engineering Theoretical computer science Mathematics B-tree Mathematical logic Linked list Algorithm Mathematical induction Recursion Trie
205	Reading Your Textbook Linear Algebra with Applications, Otto Bretscher, 3rd Ed., Pearson Prentice Hall Linear Algebra, Math 52, Brown University, Spring 2006, Instructor Stange Reading mathematics is an active, not a pas Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:48 Mathematics Mathematical proofs Logical consequence Neuropsychology Logic Theorem Linear algebra Problem solving Equation solving
206	First European Summer School on Fuzzy Logic and Applications 7-11 SeptemberLake Como School Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2015-05-15 03:51:15 Fuzzy logic Logic Mathematical logic Science and technology European Society for Fuzzy Logic and Technology Didier Dubois Fuzzy set
207	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-10-29 00:52:29 Mathematics Applied mathematics Logic Constraint programming Operations research Algorithm Mathematical logic Theoretical computer science Simulated annealing Local search Mathematical optimization Compactness theorem
208	Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication∗ Christoph Lenzen Nancy Lynch Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:12 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Edsger W. Dijkstra Algorithm Mathematical logic Theoretical computer science Time complexity Shortest path problem Asymptotically optimal algorithm Randomized algorithm
209	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:11 Mathematics Logic Mathematical logic Logic programming Model theory Stable model semantics Modal logic FO Binomial coefficient
210	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

UPDATE